Epsilon terms indexed by contexts were used by K. von Heusinger to represent definite and indefinite noun phrases as well as some other constructs of natural language. We provide a language and a complete first order system allowing to formalize basic aspects of this representation. The main axiom says that for any finite collection S 1,…,S k of distinct definable sets and elements a 1,…,a k of these sets there exists a choice function assigning a i to S i for (...) all i≤k. We prove soundness and completeness theorems for this system S ε i fin. (shrink)

A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched.

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Se bastian) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Coun try. It was supported by: the University of Pais Vasco/Euskal Herriko Unib ertsitatea, the Ministerio de Education y Ciencia (DGCYT), Hezkuntza Saila (...) (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fun dazioa. The main topics of the meeting were Model Theory, Proof Theory, Re cursion and Complexity Theory, Models of Arithmetic, Logic for Artifi cial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic. The Program Committee consisted of K. Ambos Spies (Heidelberg), J.L. Balcazar (Barcelona), J.E. Fenstad (Oslo), D. Israel (Stanford), H. Kamp (Stuttgart), R. Kaye (Birmingham), J.M. Larrazabal (San Sebastian), D. Lascar (Paris, chairman), A. Marcja (Firenze), G. Mints (Stanford), M. Otero (Madrid), S. Ronchi della Rocca (Torino), K. Segerberg (Uppsala) and L. Vega (Madrid). The organizing Committee consisted of X. Arrazola (San Sebastian), A. Arrieta (San Sebastian), R. Beneyeto (Valencia), B. Carrascal (San Se bastian), K. Korta (San Sebastian), J.M. Larrazabal (San Sebastian, chair man), J.C. Martinez (Barcelona), J.M. Mendez (Salamanca), F. Migura (Victoria) and J. Perez (Victoria). (shrink)

Az értelmiségi mint történelmi probléma -- Dic cur hic -- Van-e a filozófiának múltja? (hiszen örök) -- A német kontraszt -- Beszéd a félelem nélküli beszédről -- Öt tanács a hazának -- Utolsó feljegyzések -- Felhívás a Bürök című folyóirat megalapítására -- Jegyzetek -- Életrajzi kísérlet.

The centenary of the birth of Ludwig Wittgenstein (1889-1951) provided an opportunity for recovering some of the great Wittgensteinian subjects, for re-examining them and for discussing their implications and relevance. This volume is the result of the interchange that took place in Girona (Spain) among well-known scholars of Wittgenstein's work in different countries. The eleven contributions are organized into three main subjects: on Wittgenstein's method (B. McGuinness, E. Tugendhat and J.M. Terricabras), on knowledge and meaning (G.E.M. Anscombe, R. Bambrough, N. (...) Malcolm, and P.T. Geach), on language and use (D. Pears, E.v. Savigny, J. Bouveresse and J. Ferrater Mora). This volume is not only the result of the different and mature reflexions of its authors, but in two cases (Malcolm and Ferrater Mora) it has also unfortunately become their last contribution to the subject. (shrink)

Bundel essays over aspecten van het denken van de Duitse filosoof Martin Heidegger (1889-1976).

G.E. Moore, more than either Bertrand Russell or Ludwig Wittgenstein, was chiefly responsible for the rise of the analytic method in twentieth-century philosophy. This selection of his writings shows Moore at his very best. The classic essays are crucial to major philosophical debates that still resonate today. Amongst those included are: * A Defense of Common Sense * Certainty * Sense-Data * External and Internal Relations * Hume's Theory Explained * Is Existence a Predicate? * Proof of an External World (...) In addition, this collection also contains the key early papers in which Moore signals his break with idealism, and three important previously unpublished papers from his later work which illustrate his relationship with Wittgenstein. (shrink)

In 2005 St Andrews Studies published a volume of essays by Anscombe entitled Human Life, Action and Ethics, followed in 2008 by a second with the title Faith in a Hard Ground. Both books were highly praised. This third volume brings essays on the thought of historical philosophers in which Anscombe engages directly with their ideas and arguments. Many are published here for the first time and the collection provides further testimony to Anscombe's insight and intellectual imagination.

_Zettel, _ an en face bilingual edition, collects fragments from Wittgenstein's work between 1929 and 1948 on issues of the mind, mathematics, and language.

This is a welcome reprint of a book that continues to grow in importance.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

The author presents and defends three theses: (1) "the first is that it is not profitable for us at present to do moral philosophy; that should be laid aside at any rate until we have an adequate philosophy of psychology." (2) "the second is that the concepts of obligation, And duty... And of what is morally right and wrong, And of the moral sense of 'ought', Ought to be jettisoned if this is psychologically possible...." (3) "the third thesis is that (...) the differences between the well-Known english writers on moral philosophy from sidgwick to the present day are of little importance." (staff). (shrink)

Did science and philosophy develop differently in ancient Greece and ancient China? If so, can we say why? This book consists of a series of detailed studies of cosmology, natural philosophy, mathematics and medicine that suggest the answer to the first question is yes. To answer the second, the author relates the science produced in each ancient civilization first to the values of the society in question and then to the institutions within which the scientists and philosophers worked.

This book was first published in 1991. The study of ancient science and its relations with Greek philosophy has made a significant and growing contribution to our understanding of ancient thought and civilisation. This collection of articles on Greek science contains fifteen of the most important papers published by G. E. R. Lloyd in this area since 1961, together with three newer articles. The topics range over all areas and periods of Greek science, from the earliest Presocratic philosophers to Ptolemy (...) and Galen. In each case the article is preceded by an introduction that assesses scholarly debate on the topic since the original publication. Professor Lloyd also suggests modifications and developments to his own position in the light of those debates and his own further research. (shrink)

Western philosophy and science are responsible for constructing some powerful tools of investigation, aiming at discovering the truth, delivering robust explanations, verifying conjectures, showing that inferences are sound and demonstrating results conclusively. By contrast reasoning that depends on analogies has often been viewed with suspicion. Professor Lloyd first explores the origins of those Western ideals, criticises some of their excesses and redresses the balance in favour of looser, admittedly non-demonstrative analogical reasoning. For this he takes examples both from ancient Greek (...) and Chinese thought and from the materials of recent ethnography to show how different ancient and modern cultures have developed different styles of reasoning. He also develops two original but controversial ideas, that of semantic stretch and the multidimensionality of reality. (shrink)